Total Books: 1 - 5 /5
Building Construction Illustrated / Francis D. K. Ching
A leading visual guide to the principles of building construction. Filled with rich illustrations and in-depth content by ...
Lire la suite
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Lire la suite
Concurrent Zero-Knowledge
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
Lire la suite
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Total Books: 1 - 5 /5
